| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 402676 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 402616 | ||
| Vorlesung | 400150 | Do 12:30-14:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×10) | |||
| Übung | 398320 | Mi 14:30-16:00 Online-Veranstaltung (×13) Do 08:30-18:00 5056 (2356|056) (×1) Fr 08:30-18:00 5056 (2356|056) (×1) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 402232 | ||
| Vorlesung | 399919 | Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×14) | |||
| Tutorium | 400468 | Mi 12:30-14:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×13) Fr 16:30-18:00 Online-Veranstaltung (×13) | |||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 402890 | ||
| Vorlesung/Übung | 399309 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 402937 | ||
| Vorlesung | 400101 | Mo 16:30-18:00 Online-Veranstaltung (×14) Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Übung | 399044 | Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 403579 | ||
| Vorlesung | 397845 | Mo 10:30-12:00 AH I (2350|028) (×14) Mo 12:30-14:00 Online-Veranstaltung (×14) Mi 10:30-12:00 AH I (2350|028) (×14) Mi 10:30-12:00 Online-Veranstaltung (×14) | |||
| Übung | 397307 | Mi 12:30-14:00 Online-Veranstaltung (×14) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) |